Rapid Mixing from Spectral Independence beyond the Boolean Domain

Beyond Domain-independence:

For natural language dialog systems, going beyond domain independence means the attempt to create a core system that can serve as a basis for interfaces to various application classes that differ not only with respect to the domain of discourse but also with respect to dialog type, user type, intended system behavior, and background system. In the design and implementation of HAM-ANS, which is ...

Rapid spectral-domain localization.

We present a method to dynamically image structures at nanometer spatial resolution with far-field instruments. We propose the use of engineered nanoprobes with distinguishable spectral responses and the measurement of coherent scattering, rather than fluorescence. Approaches such as PALM/STORM have relied on the rarity of emission events in time to distinguish signals from distinct probes. By ...

Spectral Domain Analysis of Correlation Immune and Resilient Boolean Functions

Neutral Kaon Mixing Beyond the Standard Model from 2+1 Flavour Domain Wall QCD

We present preliminary results of a study of ∆S = 2 matrix elements originating from physics beyond the Standard Model. Using 2 + 1 flavour Domain Wall Fermions we obtain the non-perturbative renormalisation (mixing) matrix in the RI scheme. We also discuss plans for the chiral extrapolation of the renormalised matrix elements in a partially quenched setup .

Beyond Traces and Independence

The formal methods, fault-tolerance, and cyber-security research communities explore models that differ from each other. The differences frustrate efforts at cross-community collaboration. Moreover, ignorance about these differences means the status quo is likely to persist. This paper discusses two of the key differences: (i) the trace-based semantic foundation for formal methods and (ii) the ...